Title: Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Speaker: Alejandro Russo Abstract: When termination of a program is observable by an adversary, confidential information may

Source URL: csf2012.seas.harvard.edu

• Information flow
• Information theory
• Covert channel

DAC vs. MAC • Most people familiar with discretionary access control (DAC) - Unix permission bits are an example - Might set a file private so only group friends can read it

Source URL: www.scs.stanford.edu

• Computer memory
• Bell–LaPadula model
• Covert channel
• Mandatory access control
• Classified information
• Htop
• CPU cache
• Access control
• Security clearance
• Security
• Computer security
• Computing

2015 IEEE CS Security and Privacy Workshops Passing go with DNA sequencing: Delivering messages in a covert transgenic channel Ji Young Chun

Source URL: www.genopri.org

Poster: Games Without Frontiers: Investigating Video Games as a Covert Channel Bridger Hahn Rishab Nithyanand

Source URL: www.ieee-security.org

2014 IEEE Security and Privacy Workshops Improving Hard Disk Contention-based Covert Channel in Cloud Computing Environment Bartosz Lipiński, Wojciech Mazurczyk, Krzysztof Szczypiorski Warsaw University of Technology,

Source URL: www.ieee-security.org

A New Covert Channel over Cellular Voice Channel in Smartphones Bushra Aloraini, Daryl Johnson, Bill Stackpole, and Sumita Mishra Golisano College of Computing and Information Sciences Rochester Institute of Technology R

Source URL: arxiv.org

2014 IEEE Security and Privacy Workshops Improving Hard Disk Contention-based Covert Channel in Cloud Computing Environment Bartosz Lipiński, Wojciech Mazurczyk, Krzysztof Szczypiorski Warsaw University of Technology,

Source URL: ieee-security.org

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: www.amitlevy.com

• Computing
• Monad
• Concurrent Haskell
• Covert channel
• Information flow
• Thread
• Parity of a permutation
• Parallel computing
• Functional programming
• Computer programming
• Software engineering

CCHEF – Covert Channels Evaluation Framework User Manual Version 0.1 Sebastian Zander {} May 21, 2008 Abstract Communication is not necessarily made secure by the use of encryption alone. The mere ex

Source URL: caia.swin.edu.au

• Network performance
• Covert channel
• Steganography
• Overt channel
• Measuring network throughput
• Transmission Control Protocol
• IPv4
• Network packet
• Time to live
• Computer architecture
• Computing
• Network architecture

CCHEF – Covert Channels Evaluation Framework Design and Implementation Sebastian Zander, Grenville Armitage Centre for Advanced Internet Architectures, Technical Report 080530A Swinburne University of Technology Melbou

Source URL: caia.swin.edu.au

• Network architecture
• Overt channel
• Covert channel
• Internet protocols
• Packet loss
• Network packet
• Traffic flow
• Communications protocol
• Steganography
• Information
• Data
• Computing